).See also tuple.tuple.……">

翻訳と辞書 Words near each other ・ library of efficient data types and algorithms ・ librery ・ lido ・ lie ・ lif ・ life ・ life is hard ・ life-cycle ・ lifia ・ lifo ・ lifted domain ・ light ・ light client ・ light pen ・ light pipe ・ light-emitting diode ・ light-emitting resistor ・ light-weight ・ light-weight process ・ lightweight directory access protocol Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク lifted domain ： FOLDOC lifted domain In domain theory, a domain with a new bottom element added. Given a domain D, the lifted domain, lift D contains an element lift d corresponding to each element d in D with the same ordering as in D and a new element bottom which is less than every other element in lift D. In functional languages, a lifted domain can be used to model a constructed type, e.g. the type data LiftedInt = K Int contains the values K minint .. K maxint and K bottom, corresponding to the values in Int, and a new value bottom. This denotes the fact that when computing a value v = (K n) the computation of either n or v may fail to terminate yielding the values (K bottom) or bottom respectively. (In LaTeX, a lifted domain or element is indicated by a subscript perp). See also tuple. tuple. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.